Do I need to write Scribble properties before using Fuzzing
Yes! The first step is writing Scribble properties/annotations for your smart contracts. The fuzzer will try to cover the code to detect violations of the provided properties.
Yes! The first step is writing Scribble properties/annotations for your smart contracts. The fuzzer will try to cover the code to detect violations of the provided properties.